|
In computational complexity theory, the linear search problem is an optimal search problem introduced by Richard E. Bellman.〔R. Bellman. An optimal search problem, SIAM Rev. (1963).〕 (independently considered by Anatole Beck 〔A. Beck. On the linear search Problem, Israel J. Mathematics (1964).〕〔A. Beck. More on the linear search problem, Israel J. Mathematics (1965).〕〔A. Beck and M. Beck. The linear search problem rides again, Israel J. Mathematics (1986).〕). == The problem == "An immobile hider is located on the real line according to a known probability distribution. A searcher, whose maximal velocity is one, starts from the origin and wishes to discover the hider in minimal expected time. It is assumed that the searcher can change the direction of his motion without any loss of time. It is also assumed that the searcher cannot see the hider until he actually reaches the point at which the hider is located and the time elapsed until this moment is the duration of the game." It is obvious that in order to find the hider the searcher has to go a distance x1 in one direction, return to the origin and go distance x2 in the other direction etc., (the length of the n-th step being denoted by xn), and to do it in an optimal way. (However, an optimal solution need not have a first step and could start with an infinite number of small 'oscillations'.) This problem is usually called the linear search problem and a search plan is called a trajectory. It has attracted much research, some of it quite recent. The linear search problem for a general probability distribution is unsolved.〔. On p. 124, Alpern and Gal write "no algorithm for solving the problem for a general probability distribution function has been found during about 37 years since the LSP was first presented."〕 However, there exists a dynamic programming algorithm that produces a solution for any discrete distribution 〔F. T. Bruss and J. B. Robertson. A survey of the linear-search problem. Math. Sci. 13, 75-84, (1988).〕 and also an approximate solution, for any probability distribution, with any desired accuracy.〔S. Alpern and S. Gal. ''The Theory of Search Games and Rendezvous''. Springer (2003): 139--143.〕 The linear search problem was solved by Anatole Beck and Donald J. Newman (1970) as a two-person zero-sum game. Their minimax trajectory is to double the distance on each step and the optimal strategy is a mixture of trajectories that increase the distance by some fixed constant.〔A. Beck and D.J. Newman. Yet More on the linear search problem. Israel J. Math. (1970).〕 This solution gives search strategies that are not sensitive to assumptions concerning the distribution of the target. Thus, it also presents an upper bound for a worst-case scenario. This solution was obtained in the framework of an online algorithm by Shmuel Gal, who also generalized this result to a set of concurrent rays.〔S. Gal. SEARCH GAMES, Academic Press (1980).〕 The best online competitive ratio for the search on the line is 9 but it can be reduced to 4.6 by using a randomized strategy. The online solution with a turn cost is given in.〔E. Demaine, S. Fekete and S. Gal. Online searching with turn cost. Theoretical Computer Science (2006).〕 These results were rediscovered in the 1990s by computer scientists as the cow path problem. 抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)』 ■ウィキペディアで「Linear search problem」の詳細全文を読む スポンサード リンク
|